Merge branch 'Master_checkradio_refresh' into 'master'
authorEmmanuele Bassi <ebassi@gmail.com>
Fri, 15 Nov 2019 12:36:12 +0000 (12:36 +0000)
committerEmmanuele Bassi <ebassi@gmail.com>
Fri, 15 Nov 2019 12:36:12 +0000 (12:36 +0000)
Refresh check/radio styling, ported from gtk3

See merge request GNOME/gtk!1175


Trivial merge